Tema: MÉTODOS FORMALES Se han encontrado 23 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Systematic software development using VDM | Jones, Cliff B. |
2nd ed.
(c1990) |
Domicilio
|
---------- |
Artículo |
Traceability across refinement steps in UML modeling : | Pons, Claudia Fabiana |
(2004) |
---------- | |
|
Artículo |
Understanding refinement and specialization in the UML : | Pons, Claudia Fabiana |
(2003) |
---------- |